/*
 * 
 */
package milecToMinisat;

/** 
 * This class implements a CLI for this package. The purpose of this CLI is to
 *  test the API milecToMinisat and to check it fits our professor wishes.
 *  It  also guarantees at least "something" will work when we will stop the project.
 * 
 * @author ter-topcased-ups
 * @version 0.01, 2008/07/03
 * @see 
 */
public class CLI {

	/**
	 * launch the CLI of milecToMinisat
	 */
	public static void main() {
		/* TODO (facultatif) Interface interactive en ligne de commande
		 * exemple : 
		 * Appuyez chiffre pour choisir :
		 * 		1. declarer variable
		 * 		2. ajouter contrainte
		 * 		3. resoudre modele
		 * 		4. generer dans un fichier particulier
		 */


	}

}
